A mechanism for efficient debugging of parallel programs

AntSM: Efficient Debugging for Shared Memory Parallel Programs

This paper describes AntSM, a system that uses the inherent parallelism of multi-threaded programs to reduce the overhead of statistical and invariant violations detection-based debugging tools. The runtime monitoring of these tools leads to high overheads. The key insight of the AntSM system is that this overhead can be reduced in parallel programs by performing sampled monitoring across paral...

passert: A Tool for Debugging Parallel Programs

passert is a new debugging tool for parallel programs which allows programmers to express correctness criteria using a simple, expressive assertion language. We demonstrate how these parallel assertions allow the detection and diagnosis of real world concurrency bugs, detecting 14/17 bugs in an independently selected set of bugs from open source software. We describe a runtime checker which all...

Multi Level Debugging of Parallel Message Passing Programs A different approach to debugging parallel programs

Creating Views for Debugging Parallel Programs

An extensible parallel debugger helps programmers create new views of their programs’ behavior. This paper describes the features of the Panorama parallel debugger that programmers can use to design a variety of specialized debugging views. A graphical tool for designing elements of a display simplifies the most tedious steps in creating program views. Programmers can incorporate these new view...

An Algorithm for Debugging Parallel Distributed Programs

Analysing and debugging parallel and distributed programs is usually a difficult and not well explored problem. This is largely due to the non-deterministic nature of the run-time states of these processes, and results in a general lack of adequate parallel debugging tools. In this paper, we present solutions for the problem of detecting global generalized conjunctive predicates (GCP). For this...